Playing with Rules
نویسنده
چکیده
In this paper we revisit Logic Programming under the answer-set semantics or Answer-Set Programming and its extension Evolving Logic Programming, two languages that use logic rules and rule updates and exhibit characteristics that make them suitable to be used for knowledge representation and reasoning within Agent Oriented Programming Languages. We illustrate the power of these rule based languages by means of examples showing how several of its features can be used to model situations faced by Agents.
منابع مشابه
Ary, a general game playing program
We present our program Ary that won the 2009 and 2010 General Game Playing competition. In General Game Playing (GGP), players have to play games they never encountered before. The rules are transmitted as a description in a specific language and the player have to automatically analyse the rules and select a method of playing.
متن کاملFluxplayer: A Successful General Game Player
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game. This is in contrast to traditional computer game players like Deep Blue, which are designed for a particular game and can’t adapt automatically to modifications of the rules, let alone play completely different games....
متن کاملNeural Networks for State Evaluation in General Game Playing
Unlike traditional game playing, General Game Playing is concerned with agents capable of playing classes of games. Given the rules of an unknown game, the agent is supposed to play well without human intervention. For this purpose, agent systems that use deterministic game tree search need to automatically construct a state value function to guide search. Successful systems of this type use ev...
متن کاملRules for automated performance of ensemble music
Recently developed parts of a computer program are presented that contain a rule system which automatically converts music scores to musical performance, and which, in a sense, can be regarded as a model of a musically gifted player. The development of the rule system has followed the analysis-by-synthesis strategy; various rules have been formulated according to the suggestions of a profession...
متن کاملRepresenting and Reasoning About the Rules of General Games With Imperfect Information
A general game player is a system that can play previously unknown games just by being given their rules. For this purpose, the Game Description Language (GDL) has been developed as a high-level knowledge representation formalism to communicate game rules to players. In this paper, we address a fundamental limitation of state-of-the-art methods and systems for General Game Playing, namely, thei...
متن کاملA Temporal Proof System for General Game Playing
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in General Game Playing is to endow a player with the ability to extract and prove game-specific knowledge from the mere game rules. We define a formal language to express temporally extended—yet local—properties of games. W...
متن کامل